More from this Author

Computer Science Logic

by E. Borger (Editor), G. Jager (Editor), Hans Kleine Büning (Editor), M. M. Richter (Editor), G. Goos (Editor), J. Hartmanis (Editor)

Abstract State Machines 2003

by E. Borger (Editor), Angelo Gargantini (Editor), Elvinia Riccobene (Editor)

CSL 'Eighty-Nine

by E. Borger (Editor), H. Kleine Buning (Editor), M. M. Richter (Editor)

Computer Science Logic

by E. Borger (Editor), H. Kleine Buning (Editor), M. M. Richter (Editor), W. Schonfeld (Editor), G. Goos (Editor), J. Hartmanis (Editor)

Computer Science Logic

by E. Borger (Editor), G. Jager (Editor), H. Kleine Buning (Editor)

Logic and Machines

by E. Borger (Editor), G. Hasenjaeger (Editor), D. Rodding (Editor)